图灵机可计算性computability: 可计算性; 可算性turing: 递归函数; 图林; 图灵机abacus computability: 算盘可计算性characterization of computability: 可计算性刻划computability logic: 可计算性逻辑下载手机词典可随时随地查词查翻译